Inference at * 
Iof proof for Lemma not-true:


  (True)  False 

latex

 by Auto 

latex

 .

Definitions	P  Q, P & Q, P  Q, P  Q, A, x:A. B(x), True, t  T, False
Lemmas	not wf, true wf, false wf